Multi-Plan Attribute Grammars
نویسنده
چکیده
We identify a new class of non-circular attribute grammars, called the multi-plan attribute grammars, for which static evaluation plans can be computed. The class of multi-plan attribute grammars is larger than all currently known classes of non-circular attribute grammars with static evaluation plans. The decision procedure and the procedure for computing evaluation plans take essentially polynomial time under a new, more practical criterion (but the procedures still take exponential time based on the traditional criterion). The multi-plan attribute grammars lead to a new way to classify welldefined attribute grammars into a hierarchy based on the look-ahead behavior of the evaluators. Our work confirms a result of Riis and Skyum, which says that all well-defined attribute grammars can be evaluated with
منابع مشابه
Comparison of Shariati hospital performance in Tehran before and after the health system transformation plan using a dynamic multi-attribute decision-making method
Abstract: Background: Iranian Health system Transformation plan has been implemented since 2014 with the aim of financial protection of people, equity establishment in access to health services and quality improvement of hospital services. Hospital performance evaluation is essential in order to monitor the health system transformation plan. One of the tools for evaluating hospital performance...
متن کاملPasses and Paths of Attributive Grammars
An attribute grammar is pure (left-to-right) multi-pass if a bounded number of left-to-right passes over the derivation tree suffice to compute all its attributes. There is no requirement, as for the usual multi-pass attribute grammars, that all occurrences of the same attribute are computed in the same pass, R is shown that the problem of determining whether an arbitrary attribute grammar is p...
متن کاملA DEA-bases Approach for Multi-objective Design of Attribute Acceptance Sampling Plans
Acceptance sampling (AS), as one of the main fields of statistical quality control (SQC),involves a system of principles and methods to make decisions about accepting or rejecting alot or sample. For attributes, the design of a single AS plan generally requires determination ofsample size, and acceptance number. Numerous approaches have been developed foroptimally selection of design parameters...
متن کاملAML: Attribute Grammars in ML
Attribute grammars are a valuable tool for constructing compilers and building user interfaces. This paper reports on a system we are developing, called AML (for Attribution in ML), which is an attribute grammar toolkit for building such applications as language-based programming environments using SML. This system builds on the proven technology of efficient attribute evaluation, while using a...
متن کاملIncremental Evaluation of Ordered Attribute Grammars for Asynchronous Subtree Replacements
Incremental algorithms for evaluating attribute grammars (AGs) have been extensively studied in recent years, primarily because of their application in language-based environments. Ordered attribute grammars are a subclass of AGs for which efficient evaluators can be constructed. Previous incremental algorithms for ordered attribute grammars only allowed one modification 10 the program at a tim...
متن کامل